Comparison of Object Oriented Technology Automatic Codes Generating Tools for Safety Critical Real-time Software
نویسندگان
چکیده
The purpose of this paper is to compare two different automatic code generating software tools and the suitability of each for the development of safety-critical real-time software systems. The tools used are Rhapsody and SCADE for Avionics. Rhapsody will generate software under ANSI C++ standards and guidelines, while SCADE for Avionics will produce DO-178B certifiable ANSI C++ software. A simple system was designed by both tools and the result of the code execution was discussed focusing on the deterministic characteristic of safety critical Real-Time systems.
منابع مشابه
Object-Oriented Method for Automatic Extraction of Road from High Resolution Satellite Images
As the information carried in a high spatial resolution image is not represented by single pixels but by meaningful image objects, which include the association of multiple pixels and their mutual relations, the object based method has become one of the most commonly used strategies for the processing of high resolution imagery. This processing comprises two fundamental and critical steps towar...
متن کاملModelsaz: An Object-Oriented Computer-Aided Modeling Environment
Modeling and simulation of processing plants are widely used in industry. Construction of a mathematical model for a plant is a time-consuming and error-prone task. In light of extensive advancements in computer science (both hardware and software), computers are becoming a necessary instrument in industrial activities. Many software tools for modeling, simulation and optimization of proces...
متن کاملTest generation from formal descriptions : AGATHA and GATeL
This presentation focuses on two projects concerning test generation from formal descriptions, AGATHA and GATeL, developed in the LLSP (“Laboratoire Logiciels pour la Sûreté des Procédes”) and the LSL ("Laboratoire Sûreté des Logiciels") laboratories at the CEA ("Commissariat à l'Energie Atomique" : French national atomic energy organisation). The LLSP (Software for Process Safety Laboratory) c...
متن کاملAutomatic Implementation of Real-Time Object-Oriented Models and Schedulability Issues
The object-oriented design methods and their CASE tools are widely used in practice by many real-time software developers. However, object-oriented CASE tools require an additional step of identifying tasks from a given design model. Task identiication is usually performed in an ad-hoc manner using hints provided by human designers. In this paper, we present our ongoing research into schedulabi...
متن کاملDesign Patterns for High-Performance Matrix Computations
For modeling, simulation and design of complex systems, high-performance and easy-to-use matrix computation software is always needed. Traditionally, one would make use of standard software packages written in FORTRAN, such as LINPACK, EISPACK and LAPACK. Today, the availability of commercial products like MATLAB makes matrix computations almost as simple as just writing down mathematical expre...
متن کامل